//]]>
Unhighlight Highlight
Artificial General Intelligence by Kühnberger, Kai-Uwe. Publication: . XII, 207 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Intelligent Computer Mathematics by Carette, Jacques. Publication: . XVI, 384 p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Jurgensen, Helmut. Publication: . X, 289 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structured Object-Oriented Formal Language and Method by Liu, Shaoying. Publication: . X, 149 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Automata by Konstantinidis, Stavros. Publication: . XIV, 358 p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Symbolic and Quantitative Approaches to Reasoning with Uncertainty by Gaag, Linda C. Publication: . XII, 536 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unconventional Computation and Natural Computation by Mauri, Giancarlo. Publication: . XVI, 262 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2013 by Järvisalo, Matti. Publication: . XVI, 437 p. 84 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ECOOP 2013 – Object-Oriented Programming by Castagna, Giuseppe. Publication: . XXII, 746 p. 206 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Veanes, Margus. Publication: . X, 233 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Logozzo, Francesco. Publication: . X, 499 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Riguzzi, Fabrizio. Publication: . X, 273 p. 81 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Béal, Marie-Pierre. Publication: . XIV, 460 p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Johnsen, Einar Broch. Publication: . XIV, 443 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Beyer, Dirk. Publication: . XIV, 321 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Deduction – CADE-24 by Bonacina, Maria Paola. Publication: . XVI, 466 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science – Theory and Applications by Bulatov, Andrei A. Publication: . XII, 445 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Concept Analysis by Cellier, Peggy. Publication: . X, 267 p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Models of Computation by Chan, T-H. Hubert. Publication: . XV, 356 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية